Galois theory - PDFSEARCH.IO - Document Search Engine

Galois theory
Results: 422

#	Item
141	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Programming language theory Type theory Data types Formal methods Polymorphism Subtype polymorphism Immutable object Type system Model theory Software engineering Computing Object-oriented programming
142	NUMBER THEORY IN PHYSICS MATILDE MARCOLLI Several fields of mathematics have been closely associated to physics: this has always been the case for the theory of differential equations. In the early twentieth century, wit Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2005-07-01 03:47:29 Algebraic number theory Homological algebra Group theory Galois theory Motive Algebraic number field Adele ring Matilde Marcolli Galois group Abstract algebra Algebra Field theory
143	The OpenTheory Standard Theory Library Joe Hurd1 Galois, Inc. http://www.gilith.com Add to Reading List Source URL: www.gilith.com Language: English - Date: 2014-03-02 18:30:03 Automated theorem proving Logic in computer science Model theory Proof theory Formal methods Proof assistant HOL Theorem Mathematical proof Logic Mathematics Mathematical logic
144	Abstract appearing in Proceedings of the 27th ACM Symposium on the Theory of Computing, MayIncremental Cryptography and Application to Virus Protection Mihir Bellare∗ Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2004-08-02 17:51:17 Message authentication codes Digital signature Cryptographic hash function Cryptographic primitive RSA Key Probabilistic encryption Block cipher Galois/Counter Mode Cryptography Public-key cryptography Key management
145	Average Case Lower Bounds for Monotone Switching Networks Yuval Filmus, Toniann Pitassi, Robert Robere and Stephen A. Cook Department of Computer Science University of Toronto Toronto, Canada {yuvalf, toni, robere, sacoo Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2013-08-15 23:12:55 Order theory Computational complexity theory Functional analysis Monotonic function Real analysis Circuit complexity FO Aanderaa–Karp–Rosenberg conjecture Galois connection Theoretical computer science Mathematics Mathematical analysis
146	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
147	The Haskell 98 Foreign Function Interface 1.0 An Addendum to the Haskell 98 Report Manuel Chakravarty [editor], University of New South Wales Sigbjorn Finne, Galois Connections, Inc. Fergus Henderson, University of Melbo Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2003-12-01 01:25:26 Functional languages Data types Type theory Foreign function interface Subroutines Haskell Fold Id Kind Software engineering Computing Computer programming
148	Registered with the Registrar of Newspapers of India: R.N. DELENG Add to Reading List Source URL: www.vigyanprasar.gov.in Language: English - Date: 2012-09-15 05:38:18 Galois theory Field theory Group theory SJ D
149	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
150	Composable Packages for Higher Order Logic Theories Joe Hurd Galois, Inc. Abstract Interactive theorem proving is tackling ever larger formalization and verification projects, and Add to Reading List Source URL: www.gilith.com Language: English - Date: 2010-07-21 04:29:06 Model theory Logic in computer science Automated theorem proving Concepts Philosophy of science Logic for Computable Functions Proof assistant Theory HOL Logic Science Mathematics

UPDATE